Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
771	Chair for Applied Computer Science IV Prof. Dr.-Ing. Stefan Jablonski DSM[removed]On the Way of Bottom-Up Designing Textual DomainSpecific Modelling Languages Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-04 04:32:23 Software engineering Formal languages Source code Abstraction Logical syntax Delimiter Syntax Type–token distinction Programming language Logic Metalogic Computing
772	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax
773	Language Games, A Foundation for Semantics and Ontology John F. Sowa VivoMind Intelligence, Inc. The issues raised by Wittgenstein’s language games are fundamental to any theory of semantics, formal or informal. Montag Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-05-19 08:12:20 Semantics Philosophical logic Philosophy of language Formal languages Meaning Tractatus Logico-Philosophicus Language Ludwig Wittgenstein Formal semantics Logic Philosophy Analytic philosophy
774	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Charting Democracy Across Parsers Scott Nowson1 and Robert Dale Centre for Language Technology Macquarie University Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-11-28 00:57:44 Computational linguistics Formal languages Parsing Chart parser Statistical parsing LL parser Lookahead Treebank Natural language processing Programming language implementation Linguistics Compiler construction
775	Adapting a general parser to a sublanguage Sophie Aubin, Adeline Nazarenko and Claire N´ edellec** () LIPN, University of Paris 13 & CNRS UMR[removed], av. J.B. Cl´ement, F[removed]Villetaneuse, France {sophie.aubin,na Add to Reading List Source URL: www.link.cs.cmu.edu Language: English* - Date: 2006-03-11 15:00:53 Formal languages Computational linguistics Speech recognition Compiler construction Parsing Natural language processing Link grammar Dependency grammar Formal grammar Programming language implementation Linguistics Syntax
776	CHAPTER 1 Montague Grammar Barbara H. Partee University of Massachusetts, Department of Linguistics, Amherst, MA 01003, USA E-mail: [removed] Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2007-04-24 15:15:43 Science Philosophy of language Grammar Philosophical logic Formal languages Montague grammar Intensional logic Formal semantics Richard Montague Logic Linguistics Semantics
777	Loring Craymer ANTLR Yggdrasil Manual Loring Craymer Draft Add to Reading List Source URL: www.antlr2.org Language: English - Date: 2014-08-15 14:53:58 Computing Formal languages Parsing Parser generators ANTLR Attribute grammar Yggdrasil Lexical analysis Compiler Programming language implementation Compiler construction Software
778	Analytics 360: Multi-Industry Insights in Data and Intelligence April 8, 2015 REGISTRATION 8:00-9:00am KEYNOTE SPEAKER Add to Reading List Source URL: www.brandeis.edu Language: English - Date: 2015-02-24 11:32:46 Business Business intelligence Data analysis Natural language processing Statistical natural language processing Analytics Learning analytics Data mining Text mining Science Data management Formal sciences
779	MkImage Specification† Version 0.2 Jonathan Shapiro, Ph.D. The EROS Group, LLC. February 26, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:08:56 Formal languages Expr Map Regular expression ECL programming language C Comparison of Pascal and C Tiny programming language Computing Software engineering Computer programming
780	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design

UPDATE